برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Combinatory Reduction Systems [PhD Thesis]

دانلود کتاب سیستم های کاهش ترکیبی [پایان نامه دکترای]

مشخصات کتاب

Combinatory Reduction Systems [PhD Thesis]

دسته بندی: منطق
ویرایش:  
نویسندگان: Jan Willem Klop  
سری:  
 
ناشر: Mathematisch Centrum 
سال نشر: 1980 
تعداد صفحات: 341 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

قیمت کتاب (تومان) : 46,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 11

در صورت تبدیل فایل کتاب Combinatory Reduction Systems [PhD Thesis] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سیستم های کاهش ترکیبی [پایان نامه دکترای] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سیستم های کاهش ترکیبی [پایان نامه دکترای]

این پایان نامه در حالی نوشته شد که من نیمی در مؤسسه ریاضیات و نیمی توسط 'Centrale Interfaculteit' دانشگاه اوترخت، از سال 1975 تا 1979 استخدام شده بودم. و آن سالها به خاطر شرایط کاری لذت بخش و هیجان انگیزی که در آنجا ایجاد کرد، خاطره ای عزیز باقی خواهد ماند. جدای از آن، خوشحالم که عمیقاً از او برای راهنمایی کلی کارم و پیشرفت های مفصل متعددی که در پیش نویس قبلی متن پیشنهاد کرده بود، تشکر کنم.

توضیحاتی درمورد کتاب به خارجی

This thesis was written while I was employed half be the Mathematical Institute and half by the 'Centrale Interfaculteit' of the University of Utrecht, from 1975 to 1979. It was a privilege to be a promovendus in the Logic department of Professor Dirk van Dalen, and those years will remain a dear memory because of the enjoyable and stimulating working conditions he created there. Apart from that, it is my pleasure to express my deep gratitude to him for the general guidance of my work and for the numerous detailed improvements that he suggested in an earlier draft of the text.

فهرست مطالب

INTRODUCTION AND SUMMARY V
INTERDEPENDENCE OF THE SECTIONS xiii

CHAPTER I. XB-CALCULUS AND DEFINABLE EXTENSIONS 1
1. Lambda terms 1
2. Combinators 11
3. Labels and descendants 17
4. Finite Developments 30
5. Abstract Reduction Systems 44
6. The Church-Rosser Theorem 57
7. Church's Theorem 72
8. Strong Normalization of labeled X-calculi (via Al-calculus) 75
9. Standardization 84
10. Standardization and equivalence of reductions 93
11. Normalization 113
12. Cofinal reductions 115

CHAPTER II. REGULAR COMBINATORY REDUCTION SYSTEMS 119
1. Combinatory Reduction Systems 120
2. Descendants and labels for combinatory reductions 137
3. The Church-Rosser Theorem for regular combinatory reductions 141
4. Reductions with memory 151
5. Non-erasing reductions 164
6. Decreasing labelings and Strong Normalization 175

CHAPTER III. IRREGULAR COMBINATORY REDUCTION SYSTEMS 195
1. Counterexamples to the Church-Rosser property 195
2. Intermezzo. An intuitive explanation via Bohm trees 216
3. Additional properties of A(CL) 220
4. Some positive CR-results for non-left-linear CRS's 232
5. The 'black box' lemma 240

CHAPTER IV. XBn-CALCULUS 249
1. The Church-Rosser Theorem for XBri-calculus 249
2. Residuals 252
3. Tracing in diagrams 257
4. Standardization of Bn-reductions 263
5. The Normalization Theorem for X3r-calculus 279
6. Cofinal 3ri-reductions 293

REFERENCES 298